$S$ $\subseteq$ $T$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$S$. $x$ $\in$ $T$